Spichkova, Maria: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Sustainability requirements for eLearning systems: a systematic literature review and analysis

Alharthi, Ahmed D., Spichkova, Maria, Hamilton, Margaret

Journal:

Requirements Engineering

Year:

2018

Language:

english

File:

PDF, 1.11 MB

english, 2018

2

Cultural influence on requirements engineering activities: a systematic literature review and analysis

Alsanoosy, Tawfeeq, Spichkova, Maria, Harland, James

Journal:

Requirements Engineering

Year:

2019

Language:

english

File:

PDF, 1.00 MB

english, 2019

3

[IEEE 2018 IEEE 26th International Requirements Engineering Conference (RE) - Banff, AB, Canada (2018.8.20-2018.8.24)] 2018 IEEE 26th International Requirements Engineering Conference (RE) - SuSoftPro: Sustainability Profiling for Software

Alharthi, Ahmed D., Spichkova, Maria, Hamilton, Margaret

Year:

2018

Language:

english

File:

PDF, 480 KB

english, 2018

4

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice

Alsanoosy, Tawfeeq, Spichkova, Maria, Harland, James

Year:

2018

Language:

english

File:

PDF, 42 KB

english, 2018

5

Dynamic Decision Making System for Public Transport Routes

Spichkova, Maria, Hamilton, Margaret

Journal:

International Journal of System Dynamics Applications

Year:

2016

File:

PDF, 4.92 MB

2016

6

On the correctness of upper layers of automotive systems

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang Paul, Maria Spichkova

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 586 KB

english, 2008

7

Refinement-Based Verification of Interactive Real-Time Systems

Maria Spichkova

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 425 KB

english, 2008

8

[IEEE 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering (MiSE) - Florence, Italy (2015.5.16-2015.5.17)] 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering - Reconciling a Component and Process View

Spichkova, Maria, Schmidt, Heinz

Year:

2015

Language:

english

File:

PDF, 282 KB

english, 2015

9

[ACM Press the ASWEC 2015 24th Australasian Software Engineering Conference - Adelaide, SA, Australia (2015.09.28-2015.10.01)] Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference on - ASWEC ' 15 Vol. II - Efficient Testing based on Logical Architecture

Liu, Huai, Spichkova, Maria, Schmidt, Heinz W., Ulrich, Andreas, Sauer, Horst, Wieghardt, Jan

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

10

[ACM Press the ASWEC 2015 24th Australasian Software Engineering Conference - Adelaide, SA, Australia (2015.09.28-2015.10.01)] Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference on - ASWEC ' 15 Vol. II - Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud

Liu, Huai, Spichkova, Maria, Schmidt, Heinz W., Sellis, Timos, Duckham, Matt

Year:

2015

Language:

english

File:

PDF, 1.54 MB

english, 2015

11

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Chiminey: Reliable Computing and Data Management Platform in the Cloud

Yusuf, Iman I., Thomas, Ian E., Spichkova, Maria, Androulakis, Steve, Meyer, Grischa R., Drumm, Daniel W., Opletal, George, Russo, Salvy P., Buckle, Ashley M., Schmidt, Heinz W.

Year:

2015

Language:

english

File:

PDF, 2.56 MB

english, 2015

12

[IEEE 2014 Asia-Pacific Services Computing Conference (APSCC) - Fuzhou, Fu Jian, China (2014.12.4-2014.12.6)] 2014 Asia-Pacific Services Computing Conference - Towards Logical Architecture and Formal Analysis of Dependencies between Services

Spichkova, Maria, Schmidt, Heinrich

Year:

2014

Language:

english

File:

PDF, 2.01 MB

english, 2014

13

[IEEE 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Melbourne, VIC (2015.12.14-2015.12.17)] 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation

Spichkova, Maria, Thomas, Ian E., Schmidt, Heinz W., Yusuf, Iman I., Drumm, Daniel W., Androulakis, Steve, Opletal, George, Russo, Salvy P.

Year:

2015

File:

PDF, 1.92 MB

2015

14

Formal Model for Intelligent Route Planning

Spichkova, Maria, Simic, Milan, Schmidt, Heinz

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 705 KB

english, 2015

15

[IEEE 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Melbourne, VIC (2015.12.14-2015.12.17)] 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation

Spichkova, Maria, Thomas, Ian E., Schmidt, Heinz W., Yusuf, Iman I., Drumm, Daniel W., Androulakis, Steve, Opletal, George, Russo, Salvy P.

Year:

2015

Language:

english

File:

PDF, 1.92 MB

english, 2015

16

[IEEE 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Melbourne, VIC (2015.12.14-2015.12.17)] 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems

Spichkova, Maria, Zamansky, Anna, Farchi, Eitan

Year:

2015

Language:

english

File:

PDF, 462 KB

english, 2015

17

[ACM Press the ASWEC 2015 24th Australasian Software Engineering Conference - Adelaide, SA, Australia (2015.09.28-2015.10.01)] Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference on - ASWEC ' 15 Vol. II - Requirements Engineering Aspects of ELearning Systems

Alharthi, Ahmed D., Spichkova, Maria, Hamilton, Margaret

Year:

2015

Language:

english

File:

PDF, 521 KB

english, 2015

18

Formal Models for Intelligent Speed Validation and Adaptation

Spichkova, Maria, Simic, Milan, Schmidt, Heinrich, Cheng, Jian, Dong, Xuening, Gui, Yuxi, Liang, Yin, Ling, Peng, Yin, Zixiong

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 768 KB

english, 2016

19

[ACM Press the Nineteenth Australasian Computing Education Conference - Geelong, VIC, Australia (2017.01.31-2017.02.03)] Proceedings of the Nineteenth Australasian Computing Education Conference on - ACE '17 - Combining Agile Practices with Incremental Visual Tasks

Thevathayan, Charles, Spichkova, Maria, Hamilton, Margaret

Year:

2017

Language:

english

File:

PDF, 370 KB

english, 2017

20

Chiminey: Connecting Scientists to HPC, Cloud and Big Data

Yusuf, Iman I., Thomas, Ian E., Spichkova, Maria, Schmidt, Heinz W.

Journal:

Big Data Research

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

21

[IEEE 2015 IEEE Eighth International Workshop on Requirements Engineering and Law (RELAW) - Ottawa, ON, Canada (2015.8.25-2015.8.25)] 2015 IEEE Eighth International Workshop on Requirements Engineering and Law (RELAW) - Structuring diverse regulatory requirements for global product development

Spichkova, Maria, Schmidt, Heinz W., Nekvi, Md Rashed I., Madhavji, Nazim H.

Year:

2015

Language:

english

File:

PDF, 158 KB

english, 2015

22

[ACM Press the 2015 European Conference - Dubrovnik, Cavtat, Croatia (2015.09.07-2015.09.11)] Proceedings of the 2015 European Conference on Software Architecture Workshops - ECSAW '15 - Towards Quality-Oriented Architecture

Spichkova, Maria, Liu, Huai, Schmidt, Heinz

Year:

2015

Language:

english

File:

PDF, 930 KB

english, 2015

23

Modelling and Implementation of Humanoid Robot Behaviour

Clunne-Kiely, Leroy, Idicula, Bijin, Payne, Luke, Ronggowarsito, Enrico, Spichkova, Maria, Simic, Milan, Schmidt, Heinrich

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 904 KB

english, 2017

24

[ACM Press the 11th European Conference - Canterbury, United Kingdom (2017.09.11-2017.09.15)] Proceedings of the 11th European Conference on Software Architecture Companion Proceedings - ECSA '17 - Green architecture for sustainable eLearning systems

Alharthi, Ahmed D., Spichkova, Maria

Year:

2017

Language:

english

File:

PDF, 858 KB

english, 2017

25

Human-centred analysis of the dependencies within sets of proofs

Spichkova, Maria, Simic, Milan

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 563 KB

english, 2017

26

[ACM Press the 11th European Conference - Canterbury, United Kingdom (2017.09.11-2017.09.15)] Proceedings of the 11th European Conference on Software Architecture Companion Proceedings - ECSA '17 - Role of women in software architecture

Spichkova, Maria, Schmidt, Heinz, Trubiani, Catia

Year:

2017

Language:

english

File:

PDF, 418 KB

english, 2017

27

Chirality-2: Development of a Multilevel Mobile Gaming App To Support the Teaching of Introductory Undergraduate-Level Organic Chemistry

Jones, Oliver A. H., Spichkova, Maria, Spencer, Michelle J. S.

Journal:

Journal of Chemical Education

Year:

2018

Language:

english

File:

PDF, 2.07 MB

english, 2018

28

[IEEE 2018 25th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA (2018.11.26-2018.11.30)] 2018 25th Australasian Software Engineering Conference (ASWEC) - Automated Analysis of the Impact of Weather Conditions on Medicine Consumption

Spichkova, Maria

Year:

2018

File:

PDF, 6 KB

2018

29

[IEEE 2018 25th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA (2018.11.26-2018.11.30)] 2018 25th Australasian Software Engineering Conference (ASWEC) - Monitoring Informed Testing for IoT

Abdullah, Ahmed, Schmidt, Heinz, Spichkova, Maria, Liu, Huai

Year:

2018

Language:

english

File:

PDF, 8 KB

english, 2018

30

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice

Alsanoosy, Tawfeeq, Spichkova, Maria, Harland, James

Year:

2018

File:

PDF, 42 KB

2018

31

Dynamic Decision Making System for Public Transport Routes

Spichkova, Maria, Hamilton, Margaret

Journal:

International Journal of System Dynamics Applications

Year:

2016

Language:

english

File:

PDF, 4.92 MB

english, 2016

32

Enhancing the user experience with vertical transportation solutions

Christianto, Alber J., Chen, Peng, Walawedura, Osheen, Vuong, Annie, Feng, Jun, Wang, Dong, Spichkova, Maria, Simic, Milan

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

33

[ACM Press the 2015 European Conference - Dubrovnik, Cavtat, Croatia (2015.09.07-2015.09.11)] Proceedings of the 2015 European Conference on Software Architecture Workshops - ECSAW '15 - Introduction to the SAGRA 2015 workshop

Spichkova, Maria, Schmidt, Heinz, Trubiani, Catia

Year:

2015

Language:

english

File:

PDF, 126 KB

english, 2015

34

[ACM Press the 2015 European Conference - Dubrovnik, Cavtat, Croatia (2015.09.07-2015.09.11)] Proceedings of the 2015 European Conference on Software Architecture Workshops - ECSAW '15 - Introduction to the SAGRA 2015 workshop

Spichkova, Maria, Schmidt, Heinz, Trubiani, Catia

Year:

2015

File:

PDF, 126 KB

2015

35

VM2: Automated security configuration and testing of virtual machine images

Spichkova, Maria, Li, Biao, Porter, Lachlan, Mason, Luke, Lyu, Ye, Weng, Yi

Journal:

Procedia Computer Science

Year:

2020

File:

PDF, 649 KB

2020

36

[IEEE 2020 IEEE 28th International Requirements Engineering Conference (RE) - Zurich, Switzerland (2020.8.31-2020.9.4)] 2020 IEEE 28th International Requirements Engineering Conference (RE) - Does our culture influence requirements engineering activities? Vietnamese practitionersâ view

Alsanoosy, Tawfeeq, Spichkova, Maria, Harland, James

Year:

2020

File:

PDF, 86 KB

2020

37

Exploratory analysis of cultural influences on requirements engineering activities based on stakeholdersâ profile

Alsanoosy, Tawfeeq, Spichkova, Maria, Harland, James

Journal:

Procedia Computer Science

Year:

2020

File:

PDF, 353 KB

2020